数理論理学 合理的エージェントへの応用に向けて(本)